brianbrock.com "On Formally Undecidable Propositions..." ;"-{} copyright 2018